A conjugated alkyne functional bicyclic polybenzoxazine with superior heat resistance

A difunctional benzoxazine (coPh‐apa) with a conjugated alkyne group is synthesized by the oxidative coupling reaction from a monocycle‐benzoxazine (Ph‐apa) containing an alkyne group. A model compound, 1,4‐diphenylbutadiyne (coPa), is used to study the curing reaction process of coPh‐apa by DSC, Fourier transform infrared spectroscopy, and ¹³C NMR, and the results suggest that the conjugated alkyne groups are involved in the crosslinking reaction via the trimerization reaction of the conjugated alkynyl groups and the Diels–Alder reaction. Furthermore, thermal properties of the polybenzoxazine are studied by dynamic thermomechanical analysis and thermogravimetric analysis. A glass‐transition temperature (T_gs) of as high as 412 °C and a char yield of 75.6% at 800 °C under nitrogen are obtained with the aid of the conjugated alkyne groups. Its excellent heat resistance dominates most thermosetting resins and will serve for heat shields. © 2019 Wiley Periodicals, Inc. J. Polym. Sci., Part A: Polym. Chem. 2019, 57, 1587–1592     

Stable isotope dilution assay for the accurate determination of tricaine in fish samples by HPLC–MS–MS

Tricaine methanesulfonate is one of most commonly used anesthetics in fish during blood sampling, artificial propagation and long‐distance transportation. In this study, an accurate method for the quantitative determination of tricaine in fish samples by a stable isotope dilution assay coupled with high‐performance liquid chromatography–triple quadrupole mass spectrometry was developed. Tricaine‐D₅ was synthesized and used as an isotopically labeled internal standard for the determination of tricaine. The analytical performance of the method was validated for tricaine determination in marine fish and freshwater fish. The determination of tricaine was linear in the range of 2.0–200.0 μg L^?1. The limit of detection and limit of quantitation for fish muscle tissues were 1.0 and 4.0 μg kg^?1, respectively. Good recoveries were obtained in the range of 92.08–97.50%. The inter‐ and intra‐assay relative standard deviations (RSD values) were investigated, and the values were 0.39–3.01 and 0.85–2.77%, respectively. The values of CCα and CCβ were 10.21–10.43 and 10.42–10.87 μg kg^?1, respectively. The clearance of MS‐222 from grass carp was further studied using our method. The results demonstrate that MS‐222 could be well absorbed and rapidly eliminated after bath administration.     

Existential monadic second order logic of undirected graphs: The Le Bars conjecture is false

In 2001, J.-M. Le Bars disproved the zero-one law (that says that every sentence from a certain logic is either true asymptotically almost surely (a.a.s.), or false a.a.s.) for existential monadic second order sentences (EMSO) on undirected graphs. He proved that there exists an EMSO sentence ? such that $\mathsf{P}(G_n??)$ does not converge as $n\to \infty$ (here, the probability distribution is uniform over the set of all graphs on the labeled set of vertices $\{1,\dots ,n\}$). In the same paper, he conjectured that, for EMSO sentences with 2 first order variables, the zero-one law holds. In this paper, we disprove this conjecture.     

Non‐self‐adjoint singular second‐order dynamic operators on time scale

In this study, maximal dissipative second‐order dynamic operators on semi‐infinite time scale are studied in the Hilbert space , that the extensions of a minimal symmetric operator in limit‐point case. We construct a self‐adjoint dilation of the dissipative operator together with its incoming and outgoing spectral representations so that we can determine the scattering function of the dilation as stated in the scheme of Lax‐Phillips. Moreover, we construct a functional model of the dissipative operator and identify its characteristic function in terms of the Weyl‐Titchmarsh function of a self‐adjoint second‐order dynamic operator. Finally, we prove the theorems on completeness of the system of root functions of the dissipative and accumulative dynamic operators.     

Multistrain edge‐based compartmental model on networks

Multistrain diseases, which are infected through individual contacts, pose severe public health threat nowadays. In this paper, we build competitive and mutative two‐strain edge‐based compartmental models using probability generation function (PGF) and pair approximation (PA). Both of them are ordinary differential equations. Their basic reproduction numbers and final size formulas are explicitly derived. We show that the formula gives a unique positive final epidemic size when the reproduction number is larger than unity. We further consider competitive and mutative multistrain diseases spreading models and compute their basic reproduction numbers. We perform numerical simulations that show some dynamical properties of the competitive and mutative two‐strain models.     

Solvability of a nonlinear fifth‐order difference equation

Some formulas for well‐defined solutions to four very special cases of a nonlinear fifth‐order difference equation have been presented recently in this journal, where some of them were proved by the method of induction, some are only quoted, and no any theory behind the formulas was given. Here, we show in an elegant constructive way how the general solution to the difference equation can be obtained, from which the special cases very easily follow, which is also demonstrated here. We also give some comments on the local stability results on the special cases of the nonlinear fifth‐order difference equation previously publish in this journal.     

On concentration of solution to a Schrödinger logarithmic equation with deepening potential well

In this work, we prove the existence of positive solution for the following class of problems where λ>0 and is a potential satisfying some conditions. Using the variational method developed by Szulkin for functionals, which are the sum of a C¹ functional with a convex lower semicontinuous functional, we prove that for each large enough λ>0, there exists a positive solution for the problem, and that, as λ→+∞, such solutions converge to a positive solution of the limit problem defined on the domain Ω=int(V^?1({0})).     

A mixed hp FEM for the approximation of fourth‐order singularly perturbed problems on smooth domains

We consider fourth‐order singularly perturbed problems posed on smooth domains and the approximation of their solution by a mixed Finite Element Method on the so‐called Spectral Boundary Layer Mesh. We show that the method converges uniformly, with respect to the singular perturbation parameter, at an exponential rate when the error is measured in the energy norm. Numerical examples illustrate our theoretical findings.     

On percolation and ‐hardness

The edge‐percolation and vertex‐percolation random graph models start with an arbitrary graph G, and randomly delete edges or vertices of G with some fixed probability. We study the computational complexity of problems whose inputs are obtained by applying percolation to worst‐case instances. Specifically, we show that a number of classical ‐hard problems on graphs remain essentially as hard on percolated instances as they are in the worst‐case (assuming ). We also prove hardness results for other ‐hard problems such as Constraint Satisfaction Problems and Subset‐Sum, with suitable definitions of random deletions. Along the way, we establish that for any given graph G the independence number and the chromatic number are robust to percolation in the following sense. Given a graph G, let be the graph obtained by randomly deleting edges of G with some probability . We show that if is small, then remains small with probability at least 0.99. Similarly, we show that if is large, then remains large with probability at least 0.99. We believe these results are of independent interest.